841. 9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 23-26, proceedings
پدیدآورنده : E. Lusk, R. Overbeek )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
310
842. 7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 : proceedings
پدیدآورنده : edited by R.E. Shostak
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L4
v
.
170
843. 7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 : proceedings
پدیدآورنده : edited by R.E. Shostak
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
170
844. 8th International Conference on Automated Deduction : Oxford, England, July 27 - August 1, 1986: Proceedings
پدیدآورنده : edited by Jorg H. Siekmann
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
230
845. 8th International Conference on Automated Deduction : Oxford, England, July 27-August 1, 1986 : proceedings
پدیدآورنده : edited by Jorg H. Siekmann
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L4
v
.
230
846. 13th International Conference on Theory and Application of Fuzzy Systems and Soft Computing -- ICAFS-2018 /
پدیدآورنده : edited by Rafik A. Aliev, Janusz Kacprzyk, Witold Pedrycz, Mo. Jamshidi, Fahreddin M. Sadikoglu.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Fuzzy logic, Congresses.,Fuzzy mathematics, Congresses.,Fuzzy systems, Congresses.,Soft computing, Congresses.,Fuzzy logic.,Fuzzy mathematics.,Fuzzy systems.,Soft computing.
رده :
QA9
.
64
.
I28
2018
847. نقش شیعه در گسترش منطق و فلسفه
پدیدآورنده : / جمعی از فضلا با اشراف مکارم‌شیرازی
کتابخانه: کتابخانه مؤسسه علمی فرهنگی دارالحدیث (قم)
موضوع : شیعه‌شناسی,*Shi'ah studies,منطق اسلامی,*Logic, Islamic,فلسفه اسلامی,Islamic philosophy, -- کنگره‌ها, -- Congresses, -- کنگره‌ها, -- Congresses, -- کنگره‌ها, -- Congresses, -- تاثیر شیعه, -- Shiite influences, -- تاثیر شیعه, -- Shiite influences,a02,a02,a03,a03,a04,a04
رده :
BP
۲۳۹
/
ک
۹۱۵ ۱۴۰۰
